1

Globalization of intui tionistic set theory

Year:
1987
Language:
english
File:
PDF, 1.30 MB
english, 1987
2

Fuzzy logic and fuzzy set theory

Year:
1992
Language:
english
File:
PDF, 1.10 MB
english, 1992
3

Global intuitionistic analysis

Year:
1986
Language:
english
File:
PDF, 1.75 MB
english, 1986
4

A lattice-valued set theory

Year:
1999
Language:
english
File:
PDF, 157 KB
english, 1999
5

Quantum Set Theory

Year:
2003
Language:
english
File:
PDF, 144 KB
english, 2003
6

Systems of Quantum Logic

Year:
2013
Language:
english
File:
PDF, 258 KB
english, 2013
7

A Proof of the Cut-Elimination Theorem in Simple Type Theory

Year:
1973
Language:
english
File:
PDF, 291 KB
english, 1973
8

Completeness of global intuitionistic set theory

Year:
1997
Language:
english
File:
PDF, 953 KB
english, 1997